﻿body
{
    overflow-x: hidden;
    overflow-y: auto;
}

.console
{
    padding: 3px 0px 2px 3px;
    margin: 0;
    overflow: auto;
    background-color: #012456;
    border: none;
    color: #fff;
    font-weight: 900;
    width: 99%;
    white-space: pre-wrap;
    overflow-x: hidden;
    overflow-y: auto;    
}

.pre
{
    white-space: pre-wrap;
    font-family: "Consolas", "Bitstream Vera Sans Mono", "Courier New", Courier, monospace
}

.console a
{
    color: #ffa;
}

.console a:visited
{
    color: #ffa;
}

.console a:hover
{
    text-decoration: underline; 
}

.indented-wide
{
    padding: 4px;
    margin: 4px 0 4px 0;
    overflow: auto;
    background-color: #012456;
    border: thin solid #aaa;
    color: #fff;
    font-weight: 900;
    width: 540px;
}
.sample
{
    font-size: 90%;
}

.consoleWrapper
{
    position: absolute;
    top: 0;
    bottom: 0;
    left: 0;
    right: 0;
    background-color: #012456;
    border: none;
    overflow-x: hidden;
    overflow-y: auto;
}

.middleArea
{
    position: absolute;
    top: 0px;
    bottom: 70px;
    right: 0px;
    left: 0px;
    background-color: #012456;
    overflow: auto;
    padding: 0;
    border: none;
    width: 100%;
}

.topArea
{
    position: absolute;
    top: 0;
    left: 0;
    height: 50px;
    width: 100%;
    overflow: hidden;
}

.noscrolls
{
    overflow: hidden;
}

.bottomArea
{
    position: absolute;
    bottom: 0;
    left: 0;
    right: 0;
    height: 70px;
    background-color: #012456;
    overflow: hidden;
    padding-right:4px;
}

.consoleEntry
{
    position: absolute; 
    bottom: 0px;
    left: 0px;
    right: 4px;
    height: 66px;
    float: right;
    background-color: #012456;
    border: none;
    width: 100%;
    padding: 0px;
}

.executeButton
{
    position: absolute;
    bottom: 2px;
    right: 3px;
    float: left;
    width: 80px;
    display:none;
}
